| Security |
|
Low-level security | |
|
The definition of the language | |
|
|
The verifier | |
|
|
High-level security | |
|
|
The Security Manager | |